load(key).


classes([pos,neg]).

heuristic(entropy).

discretize(entropy).

predict(no_payment_due(+Student,-class)).

rmode(inf: enrolled(+Student,#[smc,ucb,ucsd,occ,uci,ucla],#O)).
rmode(inf: enrolled(+Student,+-E,-\O)).
rmode(inf: male(+-Student)).
rmode(inf: longest_absense_from_school(+Student, #Longest)).
rmode(inf: longest_absense_from_school(+-Student, +-Longest)).
rmode(inf: unemployed(+Student)).
rmode(inf: filed_for_bankrupcy(+Student)).
rmode(inf: disabled(+Student)).
rmode(inf: enlist(+Student,+-Enlist)).
rmode(inf: enlist(+Student,#[army,navy,air_force,marines,peace_corps,fire_department,foreign_legion])).
rmode(inf: member(+Enlist, #list)).



typed_language(yes).
type(no_payment_due(student,class)).
type(enrolled(student,valor,numb)).
type(male(student)).
type(longest_absense_from_school(student,numb)).
type(unemployed(student)).
type(filed_for_bankrupcy(student)).
type(disabled(student)).
type(enlist(student,enl)).
type(numb < numb).
type(numb > numb).
type(numb =< numb).
type(numb >= numb).
type(enl = enl).
type(member(_, list)).

discretization(bounds(3)).
to_be_discretized(enrolled(Student,E,O),[O]).

rmode(#(1*10*C: threshold(enrolled(_, _, Ot), [Ot], C),+Ot < C)).
rmode(#(1*10*C: threshold(enrolled(_, _, Ot), [Ot], C),+Ot > C)).
rmode(#(1*10*C: threshold(enrolled(_, _, Ot), [Ot], C),+Ot =< C)).
rmode(#(1*10*C: threshold(enrolled(_, _, Ot), [Ot], C),+Ot >= C)).




write_predictions([testing, distribution]).



combination_rule([product, sum]). 


